ccpred-id(x) == chain_config_ind(x;;;id.id;id,num.) 

latex

Definitions	chain_config_ind(x;head;tail;id.pred(id);id,num.succ(id;num)),
FDL editor aliases	ccpred-id